logical methods in computer science造句

B鰎ger is a pioneer of applying logical methods in computer science.
Professor Immerman is an editor of the " SIAM Journal on Computing " and of " Logical Methods in Computer Science ".
He is currently an Associate Editor of the journal " Logical Methods in Computer Science " and " Information and Computation ", and sits on the editorial board of " Higher-Order and Symbolic Computation ".
It's difficult to find logical methods in computer science in a sentence. 用logical methods in computer science造句挺难的